Liên kết ngoài Kurt Gödel

Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Kurt Gödel.

Wikiquote có sưu tập danh ngôn về:

Kurt Gödel

Kurt Gödel - mục từ tại Stanford Encyclopedia of Philosophy
Time Bandits: an article about the relationship between Gödel and Einstein by Jim Holt
"Gödel and the limits of logic" by John W Dawson Jr. (June 2006)
Notices of the AMS, April 2006, Volume 53, Number 4 Kurt Gödel Centenary Issue
Paul Davies and Freeman Dyson discuss Kurt Godel
"Gödel and the Nature of Mathematical Truth" Edge: A Talk with Rebecca Goldstein on Kurt Gödel.
It's Not All In The Numbers: Gregory Chaitin Explains Gödel's Mathematical Complexities.
Gödel photo g. Lưu trữ 2009-03-01 tại Wayback Machine
Kurt Gödel tại Find a Grave
National Academy of Sciences Biographical Memoir
O'Connor, John J.; Edmund F. Robertson, “Kurt Gödel”, Bộ lưu trữ lịch sử toán học MacTutor, Đại học St. Andrews Chú thích có các tham số trống không rõ: |author-name-separator=, |layurl=, |laydate=, |laysource=, |author-separator=, |separator=, |doi-inactive-date=, và |dead-url= (trợ giúp)

Guerra-Pujol, Enrique (2013). “Gödel's Loophole”. Capital University Law Review. University of Central Florida; Pontifical Catholic University of Puerto Rico. 41: 637–673. SSRN 2010183.

Bài viết nhà toán học này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.

Tiêu đề chuẩn	BIBSYS: 90149423 BNE: XX988655 BNF: cb12133987b (data) CANTIC: a11111835 CiNii: DA00112751 DBLP: 165/0657 GND: 11869569X ICCU: IT\ICCU\MILV\024928 ISNI: 0000 0001 1031 567X LCCN: n79007770 LNB: 000161012 MGP: 19539 NDL: 00549746 NKC: jn20000602196 NLA: 35129365 NLG: 183259 NLK: KAC201716000 NSK: 000260983 NTA: 068721757 PLWABN: 9810683898505606 RERO: 02-A003334785 SELIBR: 237197 SNAC: w6254jvh SUDOC: 028039734 Trove: 835248 VIAF: 97851774 WorldCat Identities: lccn-n79007770

x t s Lý thuyết tập hợp
Tiên đề	Tiên đề chọn Tiên đề chọn đếm được Tiên đề chọn phụ thuộc Tiên đề quảng tính Tiên đề vô hạn Tiên đề cặp Tiên đề tập hợp các bộ phận Tiên đề chính tắc Tiên đề hợp Axiom schema of tuyển lựa Axiom schema of thay thế Martin's axiom
Tập hợp	Tích Descartes Phần bù Luật De Morgan Phép giao Tập lũy thừa Phần bù Symmetric difference Phép hợp
Các khái niệm Các phương pháp	Lực lượng Số đếm (Large cardinal) Lớp (lý thuyết tập hợp) Constructible universe Giả thiết continuum Tranh luận đường chéo của Cantor Phần tử (toán học) (Cặp được sắp, Tuple) Family of sets Forcing (mathematics) Song ánh Số thứ tự Quy nạp siêu hạn Sơ đồ Venn
Các dạng tập hợp	Tập hợp đếm được Tập hợp rỗng Tập hợp hữu hạn (Hereditarily finite set) Tập mờ Tập hợp vô hạn Recursive set Tập hợp con Transitive set Tập hợp không đếm được Tập hợp phổ dụng
Lý thuyết	Alternative set theory Lý thuyết tập hợp Morse–Kelley set theory Naive set theory Von Neumann–Bernays–Gödel set theory Zermelo set theory Lý thuyết tập hợp Zermelo–Fraenkel Định lý đường chéo Cantor New Foundations Principia Mathematica
Paradoxes of set theory Các vấn đề	Nghịch lý Russell Suslin's problem
Các nhà lý thuyết tập hợp	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Lotfi A. Zadeh Paul Bernays Paul Cohen (nhà toán học) Richard Dedekind Thomas Jech Willard Van Orman Quine

Người được nhận Huân chương Khoa học Quốc gia Hoa Kỳ

Khoa học hành vi và xã hội

Thập niên 1960	1964: Roger Adams Othmar H. Ammann Theodosius Dobzhansky Neal Elgar Miller
Thập niên 1980	1986: Herbert A. Simon 1987: Anne Anastasi George J. Stigler 1988: Milton Friedman
Thập niên 1990	1990: Leonid Hurwicz Patrick Suppes 1991: Robert W. Kates George A. Miller 1992: Eleanor J. Gibson 1994: Robert K. Merton 1995: Roger N. Shepard 1996: Paul Samuelson 1997: William K. Estes 1998: William Julius Wilson 1999: Robert M. Solow
Thập niên 2000	2000: Gary Becker 2001: George Bass 2003: R. Duncan Luce 2004: Kenneth Arrow 2005: Gordon H. Bower 2008: Michael I. Posner 2009: Mortimer Mishkin
Thập niên 2010	2011: Anne Treisman

Khoa học sinh học

Thập niên 1960	1963: C. B. van Niel 1964: Marshall W. Nirenberg 1965: Francis P. Rous George G. Simpson Donald D. Van Slyke 1966: Edward F. Knipling Fritz Albert Lipmann William C. Rose Sewall Wright 1967: Kenneth S. Cole Harry F. Harlow Michael Heidelberger Alfred H. Sturtevant 1968: Horace Barker Bernard B. Brodie Detlev W. Bronk Jay Lush Burrhus Frederic Skinner 1969: Robert Huebner Ernst Mayr
Thập niên 1970	1970: Barbara McClintock Albert B. Sabin 1973: Daniel I. Arnon Earl W. Sutherland, Jr. 1974: Britton Chance Erwin Chargaff James V. Neel James Augustine Shannon 1975: Hallowell Davis Paul Gyorgy Sterling B. Hendricks Orville lvin Vogel 1976: Roger Guillemin Keith Roberts Porter Efraim Racker E. O. Wilson 1979: Robert H. Burris Elizabeth C. Crosby Arthur Kornberg Severo Ochoa Earl Reece Stadtman George Ledyard Stebbins Paul Alfred Weiss
Thập niên 1980	1981: Philip Handler 1982: Seymour Benzer Glenn W. Burton Mildred Cohn 1983: Howard L. Bachrach Paul Berg Wendell L. Roelofs Berta Scharrer 1986: Stanley Cohen Donald A. Henderson Vernon B. Mountcastle George Emil Palade Joan A. Steitz 1987: Michael E. Debakey Theodor O. Diener Harry Eagle Har Gobind Khorana Rita Levi-Montalcini 1988: Michael S. Brown Stanley Norman Cohen Joseph L. Goldstein Maurice R. Hilleman Eric R. Kandel Rosalyn Sussman Yalow 1989: Katherine Esau Viktor Hamburger Philip Leder Joshua Lederberg Roger W. Sperry Harland G. Wood
Thập niên 1990	1990: Baruj Benacerraf Herbert W. Boyer Daniel E. Koshland, Jr. Edward B. Lewis David G. Nathan E. Donnall Thomas 1991: Mary Ellen Avery G. Evelyn Hutchinson Elvin A. Kabat Salvador Luria Paul A. Marks Folke K Skoog Paul C. Zamecnik 1992: Maxine Singer Howard M. Temin 1993: Daniel Nathans Salome G. Waelsch 1994: Thomas Eisner Elizabeth F. Neufeld 1995: Alexander Rich 1996: Ruth Patrick 1997: James Watson Robert A. Weinberg 1998: Bruce Ames Janet Rowley 1999: David Baltimore Jared Diamond Lynn Margulis
Thập niên 2000	2000: Nancy C. Andreasen Peter H. Raven Carl Woese 2001: Francisco J. Ayala Mario R. Capecchi Ann Graybiel Gene E. Likens Victor A. McKusick Harold Varmus 2002: James E. Darnell Evelyn M. Witkin 2003: J. Michael Bishop Solomon H. Snyder Charles Yanofsky 2004: Norman E. Borlaug Phillip A. Sharp Thomas E. Starzl 2005: Anthony Fauci Torsten N. Wiesel 2006: Rita R. Colwell Nina Fedoroff Lubert Stryer 2007: Robert J. Lefkowitz Bert W. O'Malley 2008: Francis S. Collins Elaine Fuchs J. Craig Venter 2009: Susan L. Lindquist Stanley B. Prusiner
Thập niên 2010	2010: Ralph L. Brinster Shu Chien Rudolf Jaenisch 2011: Lucy Shapiro Leroy Hood Sallie Chisholm

Hóa học

Thập niên 1980	1982: F. Albert Cotton Gilbert Stork 1983: Roald Hoffmann George C. Pimentel Richard N. Zare 1986: Harry B. Gray Yuan Tseh Lee Carl S. Marvel Frank H. Westheimer 1987: William S. Johnson Walter H. Stockmayer Max Tishler 1988: William O. Baker Konrad E. Bloch Elias J. Corey 1989: Richard B. Bernstein Melvin Calvin Rudoph A. Marcus Harden M. McConnell
Thập niên 1990	1990: Elkan Blout Karl Folkers John D. Roberts 1991: Ronald Breslow Gertrude B. Elion Dudley R. Herschbach Glenn T. Seaborg 1992: Howard E. Simmons, Jr. 1993: Donald J. Cram Norman Hackerman 1994: George S. Hammond 1995: Thomas Cech Isabella L. Karle 1996: Norman Davidson 1997: Darleane C. Hoffman Harold S. Johnston 1998: John W. Cahn George M. Whitesides 1999: Stuart A. Rice John Ross Susan Solomon
Thập niên 2000	2000: John D. Baldeschwieler Ralph F. Hirschmann 2001: Ernest R. Davidson Gabor A. Somorjai 2002: John I. Brauman 2004: Stephen J. Lippard 2006: Marvin H. Caruthers Peter B. Dervan 2007: Mostafa A. El-Sayed 2008: Joanna S. Fowler JoAnne Stubbe 2009: Stephen J. Benkovic Marye Anne Fox
Thập niên 2010	2010: Jacqueline K. Barton Peter J. Stang 2011: Allen J. Bard M. Frederick Hawthorne

Khoa học kỹ thuật

Thập niên 1960	1962: Theodore von Kármán 1963: Vannevar Bush John Robinson Pierce 1964: Charles S. Draper 1965: Hugh L. Dryden Clarence L. Johnson Warren K. Lewis 1966: Claude E. Shannon 1967: Edwin H. Land Igor I. Sikorsky 1968: J. Presper Eckert Nathan M. Newmark 1969: Jack St. Clair Kilby
Thập niên 1970	1970: George E. Mueller 1973: Harold E. Edgerton Richard T. Whitcomb 1974: Rudolf Kompfner Ralph Brazelton Peck Abel Wolman 1975: Manson Benedict William Hayward Pickering Frederick E. Terman Wernher von Braun 1976: Morris Cohen Peter C. Goldmark Erwin Wilhelm Müller 1979: Emmett N. Leith Raymond D. Mindlin Robert N. Noyce Earl R. Parker Simon Ramo
Thập niên 1980	1982: Edward H. Heinemann Donald L. Katz 1983: William R. Hewlett George M. Low John G. Trump 1986: Hans Wolfgang Liepmann T. Y. Lin Bernard M. Oliver 1987: R. Byron Bird H. Bolton Seed Ernst Weber 1988: Daniel C. Drucker Willis M. Hawkins George W. Housner 1989: Harry George Drickamer Herbert E. Grier
Thập niên 1990	1990: Mildred S. Dresselhaus Nick Holonyak Jr. 1991: George Heilmeier Luna B. Leopold H. Guyford Stever 1992: Calvin F. Quate John Roy Whinnery 1993: Alfred Y. Cho 1994: Ray W. Clough 1995: Hermann A. Haus 1996: James L. Flanagan C. Kumar N. Patel 1998: Eli Ruckenstein 1999: Kenneth N. Stevens
Thập niên 2000	2000: Yuan-Cheng B. Fung 2001: Andreas Acrivos 2002: Leo Beranek 2003: John M. Prausnitz 2004: Edwin N. Lightfoot 2005: Jan D. Achenbach Tobin J. Marks 2006: Robert S. Langer 2007: David J. Wineland 2008: Rudolf E. Kálmán 2009: Amnon Yariv
Thập niên 2010	2010: Richard A. Tapia Srinivasa S.R. Varadhan 2011: Solomon Golomb Barry Mazur

Khoa học máy tính, toán học và thống kê

Thập niên 1960	1963: Norbert Wiener 1964: Solomon Lefschetz H. Marston Morse 1965: Oscar Zariski 1966: John Milnor 1967: Paul Cohen 1968: Jerzy Neyman 1969: William Feller
Thập niên 1970	1970: Richard Brauer 1973: John Tukey 1974: Kurt Gödel 1975: John W. Backus Shiing-Shen Chern George Dantzig 1976: Kurt Otto Friedrichs Hassler Whitney 1979: Joseph L. Doob Donald E. Knuth
Thập niên 1980	1982: Marshall Harvey Stone 1983: Herman Goldstine Isadore Singer 1986: Peter Lax Antoni Zygmund 1987: Raoul Bott Michael Freedman 1988: Ralph E. Gomory Joseph B. Keller 1989: Samuel Karlin Saunders MacLane Donald C. Spencer
Thập niên 1990	1990: George F. Carrier Stephen Cole Kleene John McCarthy 1991: Alberto Calderón 1992: Allen Newell 1993: Martin David Kruskal 1994: John Cocke 1995: Louis Nirenberg 1996: Richard Karp Stephen Smale 1997: Khâu Thành Đồng 1998: Cathleen Synge Morawetz 1999: Felix Browder Ronald R. Coifman
Thập niên 2000	2000: John Griggs Thompson Karen K. Uhlenbeck 2001: Calyampudi R. Rao Elias M. Stein 2002: James G. Glimm 2003: Carl R. de Boor 2004: Dennis P. Sullivan 2005: Bradley Efron 2006: Hyman Bass 2007: Leonard Kleinrock Andrew J. Viterbi 2009: David B. Mumford

Khoa học vật lý

Thập niên 1960	1963: Luis W. Alvarez 1964: Julian Schwinger Harold Clayton Urey Robert Burns Woodward 1965: John Bardeen Peter Debye Leon M. Lederman William Rubey 1966: Jacob Bjerknes Subrahmanyan Chandrasekhar Henry Eyring John H. Van Vleck Vladimir K. Zworykin 1967: Jesse Beams Francis Birch Gregory Breit Louis Hammett George Kistiakowsky 1968: Paul Bartlett Herbert Friedman Lars Onsager Eugene Wigner 1969: Herbert C. Brown Wolfgang Panofsky
Thập niên 1970	1970: Robert H. Dicke Allan R. Sandage John C. Slater John A. Wheeler Saul Winstein 1973: Carl Djerassi Maurice Ewing Arie Jan Haagen-Smit Vladimir Haensel Frederick Seitz Robert Rathbun Wilson 1974: Nicolaas Bloembergen Paul Flory William Alfred Fowler Linus Carl Pauling Kenneth Sanborn Pitzer 1975: Hans A. Bethe Joseph O. Hirschfelder Lewis Sarett E. Bright Wilson Chien-Shiung Wu 1976: Samuel Goudsmit Herbert S. Gutowsky Frederick Rossini Verner Suomi Henry Taube George Uhlenbeck 1979: Richard P. Feynman Herman Mark Edward M. Purcell John Sinfelt Lyman Spitzer Victor F. Weisskopf
Thập niên 1980	1982: Philip W. Anderson Yoichiro Nambu Edward Teller Charles H. Townes 1983: E. Margaret Burbidge Maurice Goldhaber Helmut Landsberg Walter Munk Frederick Reines Bruno B. Rossi J. Robert Schrieffer 1986: Solomon J. Buchsbaum H. Richard Crane Herman Feshbach Robert Hofstadter Chen Ning Yang 1987: Philip Abelson Walter Elsasser Paul C. Lauterbur George Pake James A. Van Allen 1988: D. Allan Bromley Paul Ching-Wu Chu Walter Kohn Norman F. Ramsey Jack Steinberger 1989: Arnold O. Beckman Eugene Parker Robert Sharp Henry Stommel
Thập niên 1990	1990: Allan M. Cormack Edwin M. McMillan Robert Pound Roger Revelle 1991: Arthur L. Schawlow Ed Stone Steven Weinberg 1992: Eugene M. Shoemaker 1993: Val Fitch Vera Rubin 1994: Albert Overhauser Frank Press 1995: Hans Dehmelt Peter Goldreich 1996: Wallace S. Broecker 1997: Marshall Rosenbluth Martin Schwarzschild George Wetherill 1998: Don L. Anderson John N. Bahcall 1999: James Cronin Leo Kadanoff
Thập niên 2000	2000: Willis E. Lamb Jeremiah P. Ostriker Gilbert F. White 2001: Marvin L. Cohen Raymond Davis Jr. Charles Keeling 2002: Richard Garwin W. Jason Morgan Edward Witten 2003: G. Brent Dalrymple Riccardo Giacconi 2004: Robert N. Clayton 2005: Ralph A. Alpher Lonnie Thompson 2006: Daniel Kleppner 2007: Fay Ajzenberg-Selove Charles P. Slichter 2008: Berni Alder James E. Gunn 2009: Yakir Aharonov Esther M. Conwell Warren M. Washington
Thập niên 2010	2011: Sidney Drell Sandra Faber Sylvester James Gates John Goodenough

Thuyết tương đối

Thuyết
tương đối
hẹp

Cơ bản	Nguyên lý tương đối · Giới thiệu thuyết tương đối hẹp · Thuyết tương đối hẹp · Lịch sử
Cơ sở	Chuyển động học Hệ quy chiếu Tốc độ ánh sáng Phương trình Maxwell
Công thức	Nguyên lý tương đối Galileo Phép biến đổi Galilei Phép biến đổi Lorentz
Hệ quả	Sự giãn thời gian Khối lượng trong thuyết tương đối hẹp Sự tương đương khối lượng-năng lượng Sự co độ dài Tính tương đối của sự đồng thời Hiệu ứng Doppler tương đối tính Tiến động Thomas
Không-thời gian	Không thời gian Minkowski Tuyến thế giới Biểu đồ Minkowski Nón ánh sáng

Thuyết
tương đối
rộng

Cơ bản	Giới thiệu thuyết tương đối rộng Phát biểu toán học của thuyết tương đối rộng Thuyết tương đối rộng Lịch sử
Khái niệm cơ sở	Thuyết tương đối hẹp Nguyên lý tương đương Tuyến thế giới Hình học Riemann Biểu đồ không thời gian Không thời gian trong thuyết tương đối rộng
Hiệu ứng	Bài toán Kepler trong thuyết tương đối rộng Thấu kính hấp dẫn Sóng hấp dẫn Kéo hệ quy chiếu Hiệu ứng đường trắc địa Chân trời sự kiện Điểm kì dị không-thời gian Lỗ đen
Phương trình	Tuyến tính hóa hấp dẫn Phương pháp tham số hóa hậu Newton Phương trình trường Einstein Đường trắc địa trong thuyết tương đối rộng Phương trình Friedmann Phương pháp ADM Phương pháp BSSN Phương trình Hamilton–Jacobi–Einstein
Lý thuyết phát triển	Thuyết Kaluza–Klein Hấp dẫn lượng tử
Nghiệm chính xác	Mêtric Schwarzschild Mêtric Reissner–Nordström Mêtric Gödel Mêtric Kerr Mêtric Kerr–Newman Mêtric Kasner Chân không Taub-NUT Mô hình Milne Mêtric Friedmann–Lemaître–Robertson–Walker Không thời gian pp-sóng Bụi van Stockum

Nhà khoa học

Thể loại

► Thuyết tương đối